Publication

Extending development graphs with hiding

Till Mossakowski, Serge Autexier, Dieter Hutter

In: Journal of Logic and Algebraic Programming (JLAP) Elsevier 2004.

German Research Center for Artificial Intelligence
Deutsches Forschungszentrum für Künstliche Intelligenz