TitleOn Verification in Logic Database Languages
Publication TypeConference Paper
Year of Publication2000
AuthorsBonchi, F, Giannotti, F, Pedreschi, D
Conference NameComputational Logic
Taxonomy upgrade extras: