Patrick O. Bobbie, Joseph E. Urban. Propositional logic for validating software object interrelationships. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 48-55, IEEE, 1991. [doi]