Automated Time Table Generation Using Multiple Context Reasoning with Truth Maintenance. - Vevek Ram; Chris Scogings (PATAT, 1995)