Verifying Unboundedness via Amalgamation.

Ashwani Anand, Sylvain Schmitz, Lia Schtze, Georg Zetzsche

Browse the full LICS paper archive.