Biform theories in chiron (2007)

by Far07 William M Farmer
Venue:Towards Mechanized Mathematical Assistants. MKM/Calculemus, number 4573 in LNAI