Skip to main content
Home
Highlights
Events
Hosted Events
Job & Study Opportunities
Press
Contacts
Research
Publications
Projects
People
Resources
Dataset
Software
Blog
Search form
Search
Verification of Logic Programs
You are here
Home
Title
Verification of Logic Programs
Publication Type
Journal Article
Year of Publication
1999
Authors
Pedreschi, D
,
Ruggieri, S
Journal
J. Log. Program.
Volume
39
Issue
1-3
Pagination
125-176
Taxonomy upgrade extras:
Google Scholar
BibTeX
RTF
Tagged
MARC
EndNote XML
RIS
Copyright © 2014 - KDD Lab