Lawrence J. Mazlack Satisficing in Knowledge-Based Systems. 139-166 1990 5 Data Knowl. Eng. db/journals/dke/dke5.html#Mazlack90