Incremental regular inference (1996)

by P Dupont
Venue:Proceedings of the Third ICGI-96