Gert Smolka Ralf Treinen Records for Logic Programming. 229-258 1994 18 J. Log. Program. 3 db/journals/jlp/jlp18.html#SmolkaT94