Authors: Basin, D Ganzinger, H

Citation: D. Basin et H. Ganzinger, Automated complexity analysis based on ordered resolution, J ACM, 48(1), 2001, pp. 70-109

Authors: Ayari, A Basin, D

Citation: A. Ayari et D. Basin, A higher-order interpretation of Deductive Tableau, J SYMB COMP, 31(5), 2001, pp. 487-520

Authors: Frank, I Basin, D

Citation: I. Frank et D. Basin, A theoretical and empirical investigation of search in imperfect information games, THEOR COMP, 252(1-2), 2001, pp. 217-256

Authors: Basin, D Matthews, S

Citation: D. Basin et S. Matthews, Structuring metatheory on inductive definitions, INF COMPUT, 162(1-2), 2000, pp. 80-95

Authors: Anderson, P Basin, D

Citation: P. Anderson et D. Basin, Program development schemata as derived rules, J SYMB COMP, 30(1), 2000, pp. 5-36