Fahnenbergplatz
Freiburg, D-79085
Germany
University of Freiburg
PCNF, substitutions, refinement, learning, completeness