<a href='https://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf'>https://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf</a>
<a href='https://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf'>https://www.doc.ic.ac.uk/~rak/papers/algorithm%20=%20logic%20+%20control.pdf</a>