Stephen Bond

An automated tableau theorem prover for FO(ID)

M. Denecker, Stephen Bond, 2008 .

EFFECTS OF A CO-TEACHING TEAMING PROGRAM ON THE INSTRUCTIONAL PRACTICES OF HIGH SCHOOL GENERAL AND SPECIAL EDUCATION TEACHERS

Stephen Bond, 2011 .

The Second Answer Set Programming Competition

Miroslaw Truszczynski, Martin Gebser, Joost Vennekens, 2009, LPNMR.