Book

The KL-ONE family

by William A. Woods