E. P. Stabler Jr., E. W. Elcock. Knowledge Representation in an Efficient Deductive Inference System. In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 216-228, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]
Abstract is missing.