Contributors falling within the scope of the journal are invited. Authors should restrict their papers to about 30 printed pages. Longer papers submitted and accepted for publication may incur page charges on the extra pages. Submission may be made by post or electronically. Post four copies of the manuscript to :
Professor D M Gabbay
Department of Computer Science
Kings College London
Electronic submission of a postscript file with a separate covering message can be made to firstname.lastname@example.org. In both cases, authors are invited to nominate a member of the board best suited to handle their paper.
Contributors will be acknowledged in all cases; referees' comments and the decision of the Editorial Board will be forwarded to contributors as soon as possible after submission.
The submission of any manuscript will imply that the content is original, has not been previously published in a journal and is not being considered for publication elsewhere.
Format for contributors
Manuscripts should be type written on one side only with wide margins. The typing should be double-spaced. Pages should be numbered consecutively. A title page must include: full title, authors' full names and affiliations, and the address to which correspondence and proofs should be sent. Where possible, e-mail address and telephone number should be included. This should be followed by an abstract of approximately 300 words and five key words for indexing.
Original drawings should be submitted in a form ready for the printer. Care should be taken to ensure that lettering and details should easily be readable after any necessary reduction of size for publication. Each illustration should bear on the back a number, the author's name, and the title of the paper. Captions should be submitted separately on a sheet of paper at the end of the manuscript and should be identified by a number. Any photographs should be high quality glossy prints. Three sets of photocopies of the illustrations should be included.
Each table should be submitted on a separate sheet of paper at the end of the manuscript and identified by a number.
References should be listed alphabetically and numbered, and referred to within the text by the number.