Before revision: One of the first use cases was the encoding of the British Nationality Act at Imperial College carried out under the supervision of Prof Robert Kowalski.
After revision: One of the first use cases was the encoding of the British Nationality Act at Imperial College carried out under the supervision of Marek Sergot and Robert Kowalski.