G.: The Logic of Knowledge Bases (2001)

by H J Levesque, Lakemeyer