Jonathan Wayne Mills Kevin A. Buettner Assertive Demons. 1403-1414 1988 ICLP/SLP db/conf/iclp/iclp88.html#MillsB88