Definite clause grammars for language analysis – a survey of the formalism and a comparison with augmented transition networks - Pereira, FC; Warren, DH (Artificial Intelligence, 1980)
(13)