Towards Refinement of Definite Logic Programs.

Henryk Jan Komorowski, Silvia Trcek

Browse the full ISMIS paper archive.