학술논문
External Behavior of a Logic Program and Verification of Refactoring
Document Type
Article
Author
Source
In: Theory and Practice of Logic Programming . (Theory and Practice of Logic Programming, 2023)
Subject
Language
English
ISSN
14753081
14710684
14710684