Zhang, Y.; Saberi, M.; Wang, M.; Chang, E. K3S: Knowledge-Driven Solution Support System. AAAI 2019, 33, 9873-9874.