Theorem proving in classical logic applied within a logic for system specification Publikasjonsdetaljer Journal: Research Report, Department of Informatics, University of Oslo, Wednesday 1. January 1986 Du er her: Hjem Publikasjoner Fagartikkel Theorem proving in classical logic applied within a logic for system specification