Extending STR to a Higher-Order Consistency.

Christophe Lecoutre, Anastasia Paparrizou, Kostas Stergiou

Browse the full AAAI paper archive.