For the purposes of TOCL, the field of computational logic consists of all uses of logic in computer science.
TOCL is published quarterly. The first issue appeared in July 2000, and the journal is indexed by ISI beginning with the 2006 volume. TOCL is part of the ACM Digital Library.