(Israel) Ben Gurion University of the Negev
Mathematical and Computational Logic Research Group.

No queries for www.cs.bgu.ac.il/~kojman/BGULOGIC.html