DMCA

A Principle for Incorporating Axioms into the First-Order Translation of Modal Formulae (2003)

by Renate A. Schmidt , Ullrich Hustadt
Venue:Automated Deduction—CADE-19, volume 2741 of Lecture Notes in Artificial Intelligence
Citations:20 - 7 self