@book{55123,
	author = {Joyce, Jeffrey J.,},
	title = {Higher order logic theorem proving and its applications :},
	publisher = {Springer-Verlag,},
	year = {1994?},
	address = {Berlin :},
	note = {Papers presented at the 1993 HOL User's Group Workshop}
}