@proceedings{Melham:1994:HOL,
title = "Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop: {V}alletta, {M}alta, {S}eptember 19--22, 1994: Proceedings",
year = "1994",
booktitle = "Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop, {V}alletta, {M}alta, {S}eptember 19--22, 1994: Proceedings",
editor = "Thomas F. Melham and Juanito Camilleri",
isbn = "3-640-58450-1",
publisher = "Springer-Verlag",
series = "Lecture Notes in Computer Science",
volume = "859",
}