Authors: DOVIER A OMODEO EG PONTELLI E ROSSI G

Citation: A. Dovier et al., (LOG) - A LANGUAGE FOR PROGRAMMING IN LOGIC WITH FINITE SETS, The journal of logic programming, 28(1), 1996, pp. 1-44