1
by Ceri, Stefano, Gottlob, Georg, Tanca, Letizia
Published 1990
Springer Berlin Heidelberg
Subjects: '; ...Computer logic...