Decidability and expressiveness aspects of logic queries - Shmueli, Oded (<<haṭ->> Ṭeḵniyyôn, Māḵôn Ṭeḵnôlôgî le-Yiśrā'ēl <Ḥêfā>, 1986)