Ihlemann, Carsten Automation of Logic, MPI for Informatics, Max Planck Society;
Sofronie-Stokkermans, Viorica Automation of Logic, MPI for Informatics, Max Planck Society;
Ihlemann, C., & Sofronie-Stokkermans, V.(2010). System Description: H-PILoT (Version 1.9) (ATR61). SFB/TR 14 AVACS.