< Back to previous pageResearcher Stephen BondDisciplines:Theory and methodology of literary studiesAffiliationsQuantitative Lexicology and Variational Linguistics (QLVL), Leuven (Research group)MemberFrom1 Sep 2012 → 14 Feb 2015KU LeuvenPublications1 - 2 of 2The second answer set programming competition(2009)Authors: Marc Denecker, Joost Vennekens, Stephen BondPages: 637 - 654An automated tableau theorem prover for FO(ID)(2008)Authors: Stephen Bond, Marc DeneckerPages: 16 - 30