Gallagher, J.J.GallagherBoulanger, D.D.BoulangerSauglam, H.H.Sauglam2022-03-092022-03-091995https://publica.fraunhofer.de/handle/publica/325620en004006Practical model-based static analysis for definite logic programsconference paper