Discovering classes of strongly equivalent logic programs
Fangzhen Lin*, Yin Chen
*Corresponding author for this work
Research output: Contribution to journal › Journal Article › peer-review
26
Link opens in a new tab
Citations
(Scopus)