Extrema predicates in deductive databases

From MaRDI portal
Publication:1900929