A Metalanguage for Representation and Control in Assumption-based Problem Solvers.

Pierre Savant, Philippe Codognet

Browse the full SEKE paper archive.