Logical Methods in Computer Science

Published by: Elsevier