## Logic programming revisited: logic programs as inductive definitions (2001)

### View PDF

### Download Links

- [www.cs.uky.edu]
- [www.cs.engr.uky.edu]
- [www.cs.kuleuven.be]
- [www.cs.kuleuven.ac.be]
- DBLP

### Other Repositories/Bibliography

by
Marc Denecker
,
Maurice Bruynooghe
,
Victor Marek

Venue: | ACM Transactions on Computational Logic |

Citations: | 43 - 25 self |