Introduction

José Félix Costa, Nachum Dershowitz. Introduction. Natural Computing, 10(4):1215-1217, 2011. [doi]

Abstract

Abstract is missing.