Stable Model Checking for Disjunctive Logic Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nicola Leone, Pasquale Rullo, Francesco Scarcello. Stable Model Checking for Disjunctive Logic Programs. In Dino Pedreschi, Carlo Zaniolo, editors, Logic in Databases, International Workshop LID 96, San Miniato, Italy, July 1-2, 1996, Proceedings. Volume 1154 of Lecture Notes in Computer Science, pages 265-278, Springer, 1996.

This author has not been identified. Look up 'Nicola Leone' in GoogleThis author has not been identified. Look up 'Pasquale Rullo' in GoogleThis author has not been identified. Look up 'Francesco Scarcello' in Google

runs on WebDSL