"1"^^ . . . . . . . . "Specification of an Open Architecure for Reasoning"@en .