Emmanuil I. Marakakis. Guided Correctness Proofs of Logic Programs. In M. H. Hamza, editor, IASTED International Conference on Artificial Intelligence and Applications, part of the 23rd Multi-Conference on Applied Informatics, Innsbruck, Austria, February 14-16, 2005. pages 668-673, IASTED/ACTA Press, 2005.
Abstract is missing.