Publication Overview

Heikki Mannila and Kurt Mehlhorn

A Fast Algorithm for Renaming a Set of Clauses as a Horn Set

Published in: Inf. Process. Lett.
Year: 1985
Volume: 21
Pages: 269-272