"PolyAnalyst - A Machine Discovery System Inferring Functional Programs."

Mikhail V. Kiselev (1994)
a service of Schloss Dagstuhl - Leibniz Center for Informatics