Describir: Journal of formalized reasoning [J Formaliz Reason] NLMUID: 101751000