Return to Article Details A Bochner-Herz property in bounded synthesis. Download Download PDF