机译:Automating First-Order Relational Logic
Laboratory for Computer Science Massachusetts Institute of Technology 200 Technology Square Cambridge, Mass 02139, USA;
first-order logic; relational logic; Z specification; object models; automatic analysis; model finding; constraint solvers; SAT solvers;