On Systematic Construction of Correct Logic Programs.

Saved in:

Bibliographic Details
Title:	On Systematic Construction of Correct Logic Programs.
Authors:	DRABENT, WŁODZIMIERZ¹ (AUTHOR) drabent@ipipan.waw.pl
Source:	Theory & Practice of Logic Programming. Jul2025, Vol. 25 Issue 4, p631-648. 18p.
Database:	Mathematics Source

Description
ISSN:	14710684
DOI:	10.1017/S1471068425100239