Towards a Unifying Logic-Based Framework (TUF) for Computing Robert Kowalski Imperial College London joint work with Fariba Sadri (There is a paper with.
