Browse Illinois Research and Scholarship (Open Community) by Subject "pattern operations, initial decidability, order-sorted logic"