?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Ajournal&rft.au=Gu%2C+T&rft.aufirst=T&rft.aulast=Gu&rft.atitle=Coalgebraic+Semantics+for+Probabilistic+Logic+Programming.&rft.volume=17&rft.date=2021&rft.issue=2&rft.pages=2%3A1-2%3A35&rft.title=Logical+Methods+in+Computer+Science&rft.genre=article