Simplified handling of iterated term schemata

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier. Simplified handling of iterated term schemata. Annals of Mathematics and Artificial Intelligence, 58(3-4):155-183, 2010. [doi]

Abstract

Abstract is missing.