@inproceedings{Slo97a,

author = {Oscar Slotosch},

title = {Higher Order Quotients and their Implementation in Isabelle HOL},

booktitle = {Theorem Proving in Higher Order Logics, LNCS 1275,pages 291--306},

year = {1997},

publisher = {Springer},

editor = {Elsa L. Gunter and Amy Felty},

url = {http://www4.in.tum.de/papers/HQuot_slotosch_1997_Conference.html},

CRClassification = {F.3.1,F.4.1,D.3.1.},

CRGenTerms = {Mathematical Logic, Mechanical verification}

}