HGKM Manual - a revised version (1989)

by F Giunchiglia, A Cimatti