Nachum Dershowitz

Department of Computer Science University of Illinois at Urbana-Champaign 1304 West Springfield A venue Urbana , IL 61801 , U.S.A.

4 papers in the IJCAI proceedings

IJCAI 1991

IJCAI 1985

IJCAI 1983

IJCAI 1977