A Study in the Application of Theorem Proving.

David C. Luckham, Jorge J. Morales, Joachim F. Schreiber

Browse the full ECAI paper archive.