Knowledge compilation of logic programs using approximation fixpoint theory

Bart Bogaerts, Guy Van den Broeck

Onderzoeksoutput: Article

3 Citaten (Scopus)

Citeer dit