Some Aspects of the Static Semantics of Logic Programs with Monadic Functions.

Patrizia Asirelli

Browse the full ICLP paper archive.