Theorem proving in classical logic applied within a logic for system specification Marit Holden Publication details Journal: Research Report, Department of Informatics, University of Oslo, Wednesday 1. January 1986 Marit Holden Chief Research Scientist You are here: Home Publications Article journal Theorem proving in classical logic applied within a logic for system specification
