Title: On the characterization of prolog programs
First published: 1995
Subjects: Prolog (Computer program language)