Proving a graph well founded using resolution
type: CreativeWork
type: Book
type: ProductModel
issued: 1994
about: p075665506
about: p075659581
author: p075396319
author: p07223346X
contributor: p114852065
contributor: p075010259
language: en
is part of: p864503024
isbn: 9039309523
main entity of page: https://data.bibliotheken.nl/.well-known/genid/3f6c3ff2eb801272878c2c598175b77c
number of pages: 11
label: Proving a graph well founded using resolution / M. Bezem, J.F. Groote