Wolfgang Faber, Nicola Leone, Gerald Pfeifer. Pushing Goal Derivation in DLP Computations. In Michael Gelfond, Nicola Leone, Gerald Pfeifer, editors, Logic Programming and Nonmonotonic Reasoning, 5th International Conference, LPNMR 99, El Paso, Texas, USA, December 2-4, 1999, Proceedings. Volume 1730 of Lecture Notes in Computer Science, pages 177-191, Springer, 1999. [doi]
No references recorded for this publication.
No citations of this publication recorded.