Patrizia Asirelli. Some Aspects of the Static Semantics of Logic Programs with Monadic Functions. In Luís Moniz Pereira, António Porto, Luís Monteiro, Miguel Figueiras, editors, Logic Programming Workshop '83, Praia da Falésia, Algarve, Portugal, 26 June - 1 July, 1983, Proceedings. pages 485-505, Núcleo de Intelligência Artificial, Universidade Nova De Lisboa, Portugal, 1983. [doi]
Abstract is missing.