A logic recursive programs - Stephan, Werner (1985)