Andre Scedrov.

Published in: Logic, Language, and Security (2020)