Theory Construction in Computational Logic.
Antonio Brogi, Paolo Mancarella, Dino Pedreschi, Franco Turini
VenueBICLP
Year1991
ProceedingsICLP Workshop on Construction of Logic Programs
DBLP recordconf/iclp/BrogiMPT91 ↗
Browse the full ICLP paper archive.