Pages that link to State of the art on mathematical and ontological reasoning