More Flexible Term Schematisations via Extended Primal Grammars.

Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier

Browse the full ISAIM paper archive.