Skip to content
cs-conference-ranking.org

A Quantifier-Free Completion of Logic Programs.

Robert F. Strk

VenueBCSL
Year1989
ProceedingsCSL
DBLP recordconf/csl/Stark89a ↗

Browse the full CSL paper archive.