Title: Algorithmic properties of structures
First published: 1993