Xplain2

Translator for Prover9

Line id here:

João Araújo - Universidade Nova de Lisboa

Michael Kinyon - University of Denver

José Duarte - Universidade Aberta