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. (2009). System Description: H-PILoT. In R., Schmidt (Ed.), Automated Deduction - CADE-22 (pp. 131-139). Berlin: Springer. doi:10.1007/978-3-642-02959-2_9.