Logical Methods in Computer Science

Published by: Technische Universit├Ąt Bern