[go: up one dir, main page]

"IGRAINE-an Implication GRaph-bAsed engINE for fast implication, ..."

Paul Tafertshofer, Andreas Ganz, Kurt Antreich (2000)

Details and statistics

DOI: 10.1109/43.856977

access: closed

type: Journal Article

metadata version: 2020-09-24