Biform theories in Chiron (2007)

by W M Farmer
Venue:Towards Mechanized Mathematical Assistants, volume 4573 of Lecture Notes in Computer Science