A logic assistant for the database searcher
- Anthology ID:
- DBLP:journals/ipm/Heine88
- Volume:
- 1988 Volume 24 Issue 3
- Year:
- 1988
- Venue:
- ipm_journal
- Pages:
- 323–329
- URL:
- https://doi.org/10.1016/0306-4573(88)90098-2
- DOI:
- 10.1016/0306-4573(88)90098-2
- DBLP:
- journals/ipm/Heine88