%0 Conference Paper %1 conf/iclp/StablerE83 %A Jr., E. P. Stabler %A Elcock, Edward W. %B Logic Programming Workshop %D 1983 %E Pereira, Luís Moniz %E Porto, António %E Monteiro, Luís %E Figueiras, Miguel %I Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal %K dblp %P 216-228 %T Knowledge Representation in an Efficient Deductive Inference System. %U http://dblp.uni-trier.de/db/conf/iclp/lpw1983.html#StablerE83

@inproceedings{conf/iclp/StablerE83, added-at = {2021-08-10T00:00:00.000+0200}, author = {Jr., E. P. Stabler and Elcock, Edward W.}, biburl = {https://www.bibsonomy.org/bibtex/2b2eefd517aa3a1b8bfddaa6206982436/dblp}, booktitle = {Logic Programming Workshop}, crossref = {conf/iclp/1983w}, editor = {Pereira, Luís Moniz and Porto, António and Monteiro, Luís and Figueiras, Miguel}, ee = {http://www.softwarepreservation.org/projects/prolog/lisbon/lpw83/p216-Stabler.pdf}, interhash = {9432e64cfd834afe63e3caff16cc9991}, intrahash = {b2eefd517aa3a1b8bfddaa6206982436}, keywords = {dblp}, pages = {216-228}, publisher = {Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal}, timestamp = {2024-04-10T06:28:41.000+0200}, title = {Knowledge Representation in an Efficient Deductive Inference System.}, url = {http://dblp.uni-trier.de/db/conf/iclp/lpw1983.html#StablerE83}, year = 1983 }