Jack Minker
Univ. of Maryland
Logic programming and knowledge representation-the A-prolog perspective
Artificial Intelligence