Tutorial Notes: Reasoning about Logic Programs

Alan Bundy. Tutorial Notes: Reasoning about Logic Programs. In GĂ©rard Comyn, Norbert E. Fuchs, Michael Ratcliffe, editors, Logic Programming in Action, Second International Logic Programming Summer School, LPSS 92, Zurich, Switzerland, September 7-11, 1992, Proceedings. Volume 636 of Lecture Notes in Computer Science, pages 252-277, Springer, 1992.

Abstract

Abstract is missing.