Knowledge Representation and Classical Logic (2007)

by Vladimir Lifschitz, Leora Morgenstern, David Plaisted