Testing containment of !-regular languages (1986)

by Robert P Kurshan