Publikation

Extending development graphs with hiding

Till Mossakowski, Serge Autexier, Dieter Hutter

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

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