Knowledge representation and classical logic (0)

by V LIFSCHITZ, L MORGENSTERN, D PLAISTED
Venue:In Handbook of Knowledge Representation