Notes

⁺Current address: Department of Computing Science, University of Glasgow, Glasgow G12 8QQ, Scotland.