Author:Aart Middeldorp

Publications
LPAR-19. 19th International Conference on Logic for Programming, Artificial Intelligence and Reasoning Ken Mcmillan, Aart Middeldorp, Geoff Sutcliffe and Andrei Voronkov (editors) EPiC Series in Computing, volume 26