Our systems have detected unusual traffic from your computer network. Please try your request again later. Why did this happen?


IP address: 108.162.216.196 ≠ 172.70.100.149
Time: 2025-03-10T17:39:20Z
URL: https://scholar.google.com/scholar?q=Mapping+Action+Language+BC+to+Logic+Programs%3A+A+Characterization+by+Postulates.